Nuprl Definition : mu'
11,40
postcript
pdf
mu'(
P
)(
x
) == (TERMOF{
p-mu-decider
:ObjectId, 1:l, 1:l}(
A
,
P
,
d
,
x
)).1
latex
clarification:
mu'(
A
;
P
;
d
)(
x
) == (TERMOF{
p-mu-decider
:ObjectId, 1:l, 1:l}(
A
,
P
,
d
,
x
)).1
latex
Definitions
x
.
A
(
x
)
,
t
.1
,
f
(
a
)
,
p-mu-decider
FDL editor aliases
mu'
origin
x.A(x)x.A(x)